#include <common.h>
#include <print.h>
#include <task.h>
#include <irq.h>



void int0x80_func(void)
{
    printk("int 0x80\n");
    asm volatile("leave;iret");
}

S32 main(void)
{
    SetCursorPos(0, 2);                 // 设置光标位置: (0, 2)
    SetFontColor(E_FONT_WHITE);         // 设置打印字体颜色: 白色
    printk("Start kernel...\n");        // 打印字符串 "Start kernel..."
    IrqInit();                          // 中断请求初始化，绑定默认中断服务程序

    IrqRegister(0x80, int0x80_func);    // 注册 0x80 号中断服务程序
    asm volatile("int $0x80");          // 触发 0x80 号中断
    printk("After int 0x80\n");

    while(1);
    return 0;
}